overview: Port to Meta.Display.is_grabbed()

The get_grab_op() method is disappearing, replaced by this
new method.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2526>

diff --git a/js/ui/overview.js b/js/ui/overview.js
index dc6ca57802f3481b46d4f7eec8b7406051b1322d..34343a019eeea0c494c133da21d010ce38e3549a 100644 (file)
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -458,8 +458,7 @@ var Overview = class extends Signals.EventEmitter {
         if (this._shown) {
             let shouldBeModal = !this._inXdndDrag;
             if (shouldBeModal && !this._modal) {
-                if (global.display.get_grab_op() !== Meta.GrabOp.NONE &&
-                    global.display.get_grab_op() !== Meta.GrabOp.WAYLAND_POPUP) {
+                if (global.display.is_grabbed()) {
                     this.hide();
                     return false;
                 }